(\forall x \selec cadenasDeHoteles(m))(\forall a, b \selec x) cadena(a) == cadena(b)
